منابع مشابه
Types and Coalgebraic Structure
We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class of all F -coalgebras.
متن کاملA Coalgebraic Foundation for Coinductive Union Types
This paper introduces a coalgebraic foundation for coinductive types, interpreted as sets of values and extended with set theoretic union. We give a sound and complete characterization of semantic subtyping in terms of inclusion of maximal traces. Further, we provide a technique for reducing subtyping to inclusion between sets of finite traces, based on approximation. We obtain inclusion of tre...
متن کاملCoalgebraic structure of genetic inheritance.
Although in the broadly defined genetic algebra, multiplication suggests a forward direction of from parents to progeny, when looking from the reverse direction, it also suggests to us a new algebraic structure-coalge- braic structure, which we call genetic coalgebras. It is not the dual coalgebraic structure and can be used in the construction of phylogenetic trees. Math- ematically, to constr...
متن کاملNominal Coalgebraic Data Types with Applications to Lambda Calculus
We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.
متن کامل: examining l2 teachers’ corrective feedback types in relation to learners’ uptake, proficiency levels, and context types
abstract this study investigates the teachers’ correction of students’ spoken errors of linguistic forms in efl classes, aiming at (a) examining the relationship between the learners’ proficiency level and the provision of corrective feedback types, (b) exploring the extent to which teachers’ use of different corrective feedback types is related to the immediate types of context in which err...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2005
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-005-1888-2